Fingerprint Databases for Theorems
نویسندگان
چکیده
منابع مشابه
Fingerprint databases for theorems
“Fingerprint, in the anatomical sense, is a mark made by the pattern of ridges on the pad of a human finger. The term has been extended by metaphor to anything that can uniquely distinguish a person or object from another.” [26]. Suppose thatM is a mathematician, and thatM has just proved theorem T . How is M to know if her result is truly new, or if T (or perhaps some equivalent reformulation ...
متن کاملIndexing Fingerprint Databases Based on Multiple Features
In a fingerprint identification system, a person is identified only by his fingerprint. To accomplish this, a database is searched by matching all entries to the given fingerprint. However, the maximum size of the database is limited, since each match takes some amount of time and has a small probability of error. A solution to this problem is to reduce the number of fingerprints that have to b...
متن کاملA Real-Time Matching System for Large Fingerprint Databases
With the current rapid growth in multimedia technology, there is an imminent need for efficient techniclues to search and query large image databases. Because of their unique and peculiar needs, image databases cannot be treated iri a similar fashion to other types of digital libraries. The contextual dependencies present in images, and the complex nature of two-dimensional image data make the ...
متن کاملDatabase fingerprint (DFP): an approach to represent molecular databases
BACKGROUND Molecular fingerprints are widely used in several areas of chemoinformatics including diversity analysis and similarity searching. The fingerprint-based analysis of chemical libraries, in particular of large collections, usually requires the molecular representation of each compound in the library that may lead to issues of storage space and redundant calculations. In fact, informati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notices of the American Mathematical Society
سال: 2013
ISSN: 0002-9920,1088-9477
DOI: 10.1090/noti1029